Nuprl Definition : alive
11,40
postcript
pdf
alive(
X
) == (
X
|
fail-dcdr{i:l}(
es
;
Fail
))
latex
clarification:
alive{i:l}(
es
;
Fail
;
X
) == (
X
|
fail-dcdr{i:l}(
es
;
Fail
))
latex
Definitions
(
I
|
p
)
,
fail-dcdr{i:l}(
es
;
Fail
)
FDL editor aliases
alive
origin
fail-dcdr{i:l}(es;Fail))
fail-dcdr{i:l}(es; Fail)) fail-dcdr{i:l}(es;Fail))
fail-dcdr{i:l}(es; Fail)) p)